<html>
<head><meta charset="utf-8"><title>I-prioritize #77112 trait selection arbitrarily resolves pr… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html">I-prioritize #77112 trait selection arbitrarily resolves pr…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="211023938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211023938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211023938">(Sep 23 2020 at 15:58)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/77112">#77112</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="211025122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211025122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211025122">(Sep 23 2020 at 16:07)</a>:</h4>
<p>agree with <span class="user-mention" data-user-id="211727">@Jonas Schievink</span> here, this shouldn't compile</p>



<a name="211025158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211025158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211025158">(Sep 23 2020 at 16:07)</a>:</h4>
<p>I wonder what kind of bad things could happen</p>



<a name="211028661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211028661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211028661">(Sep 23 2020 at 16:34)</a>:</h4>
<p>This seems really bad. I would go with critical but I’m fine with high too</p>



<a name="211029608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211029608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211029608">(Sep 23 2020 at 16:41)</a>:</h4>
<p>it's not unsound but it seems like the fix would have to be backwards-incompatible</p>



<a name="211032162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211032162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211032162">(Sep 23 2020 at 17:02)</a>:</h4>
<p>I don't feel like this is <code>P-critical</code>. I am not even sure if it's <code>P-high</code>.</p>



<a name="211032329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211032329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211032329">(Sep 23 2020 at 17:03)</a>:</h4>
<p>We already have a bunch of similar issues, <a href="https://github.com/rust-lang/rust/issues/66057">#66057</a> as mentioned in the issue itself</p>



<a name="211032985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211032985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211032985">(Sep 23 2020 at 17:08)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/34979">#34979</a></p>



<a name="211033023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211033023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211033023">(Sep 23 2020 at 17:08)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/73653">#73653</a></p>



<a name="211033052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211033052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211033052">(Sep 23 2020 at 17:08)</a>:</h4>
<p>and the most relevant one is probably <a href="https://github.com/rust-lang/rust/issues/41756">#41756</a></p>



<a name="211041424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211041424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211041424">(Sep 23 2020 at 18:11)</a>:</h4>
<p>agree with <span class="user-mention" data-user-id="216206">@lcnr</span> but I do wonder if something bad could happen</p>



<a name="211041457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211041457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211041457">(Sep 23 2020 at 18:12)</a>:</h4>
<p>anyway to me seems like <code>P-high</code> or <code>P-medium</code></p>



<a name="211041475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211041475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211041475">(Sep 23 2020 at 18:12)</a>:</h4>
<p>If we assign a <code>P-medium</code> the issue may finish up under the radar for a while. Could it make sense to also mention these other issues as related so we minimize the risk of forgetting it?</p>



<a name="211048354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211048354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211048354">(Sep 23 2020 at 19:04)</a>:</h4>
<p>looking at that issue, it feels fine to be p-medium to me and go under a radar "a bit"</p>



<a name="211058263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211058263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211058263">(Sep 23 2020 at 20:31)</a>:</h4>
<p>yeah, I don't expect that we can get unsoundness here</p>



<a name="211058307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211058307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211058307">(Sep 23 2020 at 20:31)</a>:</h4>
<p>so I don't mind not prioritizing things like this</p>



<a name="211065125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211065125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211065125">(Sep 23 2020 at 21:34)</a>:</h4>
<p>you mean prioritising it as medium or not prioritising at all?</p>



<a name="211099919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211099919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211099919">(Sep 24 2020 at 08:03)</a>:</h4>
<p>Prioritizing it as <code>P-medium</code> is fine, but I don't think we should put a high priority on fixing this</p>



<a name="211100293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211100293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211100293">(Sep 24 2020 at 08:07)</a>:</h4>
<p>Ok, based on context <code>P-medium</code> seems the reasonable choice here  <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span>  I'll apply the tag.<br>
thanks <span class="user-mention" data-user-id="216206">@lcnr</span> for helping getting more context</p>



<a name="211100482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377112%20trait%20selection%20arbitrarily%20resolves%20pr%E2%80%A6/near/211100482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377112.20trait.20selection.20arbitrarily.20resolves.20pr.E2.80.A6.html#211100482">(Sep 24 2020 at 08:09)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/77112">#77112</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>